Model theory of deduction: a unified computational approach
نویسندگان
چکیده
منابع مشابه
Conceptualization of business excellence model with a grand theory approach
This study aims to conceptualize business excellence model and identify its variables and indicators. The philosophical foundations of the pragmatic, humanistic theory of symbolic interactionism has been, quietly and the strategy of grand theory deal with open, axial and selective coding; whose output is a new concept. Data collection is based on documentation studies on excellence models. The ...
متن کاملthe use of appropriate madm model for ranking the vendors of mci equipments using fuzzy approach
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
15 صفحه اولToward a Unified Sub-symbolic Computational Theory of Cognition
This paper proposes how various disciplinary theories of cognition may be combined into a unifying, sub-symbolic, computational theory of cognition. The following theories are considered for integration: psychological theories, including the theory of event coding, event segmentation theory, the theory of anticipatory behavioral control, and concept development; artificial intelligence and mach...
متن کاملA Unified Theory of Irony and Its Computational Formalization
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact that its utterance situation is surrounded by ironic environment which has three properties, but hearers can assume an utterance to be ironic even when they recognize that it implicitly communicates only two of the three ...
متن کاملA Unified Approach to Theory Reasoning
Theory reasoning is a kind of two-level reasoning in automated theorem proving, where the knowledge of a given domain or theory is separated and treated by special purpose inference rules. We define a classification for the various approaches for theory reasoning which is based on the syntactic concepts of literal level — term level — variable level. The main part is a review of theory extensio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Science
سال: 2001
ISSN: 0364-0213
DOI: 10.1016/s0364-0213(01)00056-8